$\forall$$R$:Realizer, ${\it es}$:ES.
\\[0ex]($\forall$$i$, $x$:Id. ($\uparrow<$$i$, $x$$>$ $\in$ dom(R{-}discrete($R$))) $\Rightarrow$ (R{-}discrete($R$)($<$$i$, $x$$>$) = discrete($i$;$x$) $\in$ $\mathbb{B}$))
\\[0ex]$\Rightarrow$ Possible($R$;${\it es}$)
\\[0ex]$\Rightarrow$ Consistent($R$;${\it es}$)